Representation of Spiking Neural P Systems with Anti-spikes through Petri Nets
نویسندگان
چکیده
Spiking Neural P(SN P) system with anti-spikes uses two types of objects called spikes and anti-spikes which can encode binary digits in a natural way. We propose a formal method based on Petri nets, which provides a natural and powerful framework to formalize SN P systems with anti-spikes. This enables the use of existing tools for Petri nets to study the computability and behavioural properties of SN P systems with anti-spikes.
منابع مشابه
Spiking Neural P systems and Petri nets
Spiking Neural P (SN P) system characterizes the movement of spikes among the neurons. Spikes have a similarity with tokens in Petri net where tokens (like spikes) are moved through net according to specific rules. This paper proposes the concept of spiking Petri nets, which are isomorphic to spiking neural P systems. It also gives algorithms to construct spiking Petri net for SN P system and v...
متن کاملModelling and analysis of spiking neural P systems with anti-spikes using Pnet lab
Petri Nets are promising methods for modelling and simulating biological systems. Spiking Neural P system with anti-spikes (SN PA systems) is a biologically inspired computing model that incorporates two types of objects called spikes and anti-spikes thus representing binary information in a natural way. In this paper, we propose amethodology to simulate SN PA systems using a Petri net tool cal...
متن کاملProtocol Modeling in Spiking Neural P systems and Petri nets
In this paper we present the relation between Spiking Neural P (SN P) systems and Petri nets by focusing on modeling simplex stop-and-wait protocol. The SN P system for the protocol is constructed and also translated it into equivalent Petri net with a corresponding semantics. It is then observed a direct correspondence between the Petri net representation of the proposed model and standard sol...
متن کاملParallel Programming in Spiking Neural P Systems with Anti-Spikes
In spiking neural P systems with anti-spikes, integers can be represented as the number of spikes/anti-spikes present in a neuron. Thus it is possible to represent increment, decrement, relational operations and assignment statements using spiking neural P systems. With these basic structures, it is also possible to represent programming language constructs like conditional, iterative and diffe...
متن کاملSpiking Neural P Systems with Anti-Spikes as Transducers
In this paper, we consider spiking neural P systems with antispikes. Because of the use of two types of objects, the system can encode the binary digits in a natural way and hence represent the formal models more efficiently and naturally than the standard SN P systems. This work deals with the computing power of spiking neural P system with anti-spikes. It is demonstrated that, as transducers,...
متن کامل